با سلام و عرض ادب و احترام خدمت دوستان جزوه ي طراحي نزم افزار مطمئن (Fualt) دكتر عباس كريمي را هم ميتوانند از لينك زير دانلود كنند:

کل تمرینات درس نرم افزار مطمئن:

1-    الگوریتم بیزانسی +  تشریح آن

2-   تمرینات مربوط به   ETMR ،  R5MR و غیره 

3-    الگوریتم فاخته (حریصانه)

4-    خروجی جدول 3 ماژول + فرم و نمودار در مطلب + هزینه پردازشی

5-    مقاله lorkzak  / مقاله Base / مقاله yacob

6-     مقاله GST عباس کریمی (موازی سازی)

7-    الگوریتم PAV عباس کریمی

8-    مقاله gerstiny  معایب + مزایا + مثال + الگوریتم خروجی

9-    مقاله yeu wingleung

به اطلاع كليه ي دانشجوياني كه با دكتر كريمي درس اخذ نموده اند ميرساند كه موضوع مقاله و پرو‍ژه كه براي ارائه آماده نموده اند به صورت دو فايل word و powerpoint و با مشخصات كامل به ايميل maleki8688@gmail.com هرچه سريعتر حداقل تا تاريخ 05/10/93 ارسال نمايند تا بنده قبل از امتحانات ودر اسرع وقت به دكتر كريمي تحويل دهم تا دكتر نمرات پروژه هر شخص را در نظر گيرد.

عدم ارسال = نداشتن موضوع مقاله و عدم اخذ هشت نمره ي پروژه